From 515b7d45cc6c544d02db3b53aa916db15270f31c Mon Sep 17 00:00:00 2001
From: Gerd Moellmann <gerd@gnu.org>
Date: Wed, 25 Apr 2001 14:36:32 +0000
Subject: [PATCH] *** empty log message ***

---
 src/ChangeLog | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/ChangeLog b/src/ChangeLog
index e1820b93b22..eb2f0d07c07 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,7 @@
 2001-04-25  Gerd Moellmann  <gerd@gnu.org>
 
+	* keyboard.c (command_loop_1): Redo change of 2001-03-12.
+
 	* xdisp.c (try_window_id): Fix a case where window_end_pos
 	and window_end_bytepos were not adjusted.
 
-- 
2.30.2